obj-y += tx_initialize_high_level.o
obj-y += tx_initialize_kernel_enter.o
obj-y += tx_initialize_kernel_setup.o
